Category Theorem Provers
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- toysolver 25
- sbv 13
- z3 8
- smtlib2 5
- atp-haskell 4
- boolector 4
- hylolib 4
- logic-TPTP 2
- tamarin-prover-utils 2
- tip-lib 2
- logic-classes 1
- qed 1
- sbvPlugin 1
- smtlib2-pipe 1
- smtlib2-quickcheck 1
- structural-induction 1
- tamarin-prover-term 1
- twee-lib 1
- HTab 0
- bindings-yices 0
Top Paired Categories
Categories that are often combined with this category.
- Math 3075
- Codec 1641
- Compilers/interpreters 419
- Algorithms 359
- Ffi 300
- Foreign 225
- Dependent Types 221
- Logic 191
- Constraints 149
- Game 129
- Formal Methods 116
- Optimization 47
- Optimisation 42
- Bit Vectors 40
- Smt 34
- Symbolic Computation 23
- Security 18